go/types.Interface.typeSet (method)
33 uses
go/types (current package)
builtins.go#L199: if t.typeSet().underIs(func(t Type) bool {
expr.go#L692: if !u.typeSet().underIs(func(u Type) bool {
index.go#L111: if typ.typeSet().underIs(func(u Type) bool {
infer.go#L420: tset := t.typeSet()
instantiate.go#L190: if Vi != nil && Vi.typeSet().IsEmpty() {
instantiate.go#L196: if Ti.typeSet().IsEmpty() {
instantiate.go#L214: if !Ti.typeSet().hasTerms() {
instantiate.go#L222: if !Vi.typeSet().subsetOf(Ti.typeSet()) {
instantiate.go#L231: if Ti.typeSet().is(func(t *term) bool {
interface.go#L29: func (t *Interface) typeSet() *_TypeSet { return computeInterfaceTypeSet(t.check, token.NoPos, t) }
interface.go#L113: func (t *Interface) NumMethods() int { return t.typeSet().NumMethods() }
interface.go#L117: func (t *Interface) Method(i int) *Func { return t.typeSet().Method(i) }
interface.go#L120: func (t *Interface) Empty() bool { return t.typeSet().IsAll() }
interface.go#L123: func (t *Interface) IsComparable() bool { return t.typeSet().IsComparable(nil) }
interface.go#L127: func (t *Interface) IsMethodSet() bool { return t.typeSet().IsMethodSet() }
interface.go#L143: t.typeSet() // checks if t.tset is already set
lookup.go#L185: if i, m := t.typeSet().LookupMethod(pkg, name, foldCase); m != nil {
lookup.go#L315: tset := u.typeSet()
lookup.go#L316: for _, m := range T.typeSet().methods {
lookup.go#L335: for _, m := range T.typeSet().methods {
methodset.go#L150: mset = mset.add(t.typeSet().methods, e.index, true, e.multiples)
predicates.go#L147: return dynamic && !isTypeParam(T) || t.typeSet().IsComparable(seen)
predicates.go#L160: return !isTypeParam(t) || u.typeSet().underIs(func(u Type) bool {
predicates.go#L320: xset := x.typeSet()
predicates.go#L321: yset := y.typeSet()
typeparam.go#L150: return t.iface().typeSet().is(f)
typeparam.go#L157: return t.iface().typeSet().underIs(f)
typeset.go#L184: check.trace(pos, "=> %s ", ityp.typeSet())
typestring.go#L230: w.typeSet(t.typeSet())
unify.go#L479: xset := x.typeSet()
unify.go#L480: yset := y.typeSet()
union.go#L115: tset := f.typeSet()